"The Proteus interpreter was developed by Lars S. Nyland, while I was a post-doc at UNC in the winter of 91-92. I relied heavily on the ISETL interpreter, changing the grammar to Proteus, adding parallelism and private variables. I must thank Gary Levin (et al) for all the work they did to give me a starting point for Proteus.
This version was compiled with Think-C (c) Symantec Screen Editor based on the THINK C Class Library. The interactive line editor was derived from ILE written by Robert C. Pendleton (c) 1988, Evans & Sutherland. This program was developed while the author was a member of the Clarkson faculty, using the Z200 provided by the school. West Publishing has provided a Macintosh for further refinement of the Mac version. West has also provided support for the development of the PC and Mac graphics features.
There are many people who have contributed to the ideas behind ISETL. First and foremost is Ed Dubinsky, whose idea it was to use SETL for teaching Discrete Mathematics. His dissatisfaction with the old implementation suggested this project. Others include: Nancy Baxter, Don Muench, and that mysterious bunch that we just call IWEST."
